Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·7h
🎯Performance Proofs
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Whodunit: LLM Murder Mysteries
blog.apartment304.com·3h·
Discuss: Hacker News
🎯Gradual Typing
On systematic construction of correct logic programs
arxiv.org·3d
⚖️Hoare Logic
Probability theorem gets quantum makeover after 250 years
phys.org·8h
🔐Quantum Security
Equivalence via Surjections
golem.ph.utexas.edu·5m
🔀Category Theory
Challenging LR Parsing (2020)
rust-analyzer.github.io·4h·
Discuss: Lobsters, r/programming
🦀Rust Macros
CodeQL: code organization, metadata, and running in CI
tweag.io·1d
🔗Constraint Handling
Working with Contexts
oreilly.com·1d
🔗Constraint Handling
How To Structure Your Application Like An Artisan
blog.codeminer42.com·1d
🐚Shell Calculus
The Logical Argument
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org
🔬Logic in Computer Science
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·1d·
Discuss: Hacker News
🧠Machine Learning
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·9h·
Discuss: Hacker News
⚡Proof Automation
5 Key Ways LLMs Can Supercharge Your Machine Learning Workflow
machinelearningmastery.com·9h
💻Local LLMs
Understanding Tool-Integrated Reasoning
arxiv.org·2d
🔗Constraint Handling
Agentic AI May Be A Better Summary Tool Than You Realize
hackernoon.com·16h
⚡Proof Automation
Contrastive Representations for Temporal Reasoning
princeton-rl.github.io·13h·
Discuss: Hacker News
🔲Cellular Automata
Meet Boti: The AI assistant transforming how the citizens of Buenos Aires access government information with Amazon Bedrock
aws.amazon.com·1d
🔍Information Retrieval
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·9h·
Discuss: Hacker News
🌳Incremental Parsing
LLM Evaluation: Practical Tips at Booking.com
booking.ai·37m·
Discuss: Hacker News
💻Local LLMs